From: jenkins-bot Date: Wed, 24 Jul 2019 02:21:04 +0000 (+0000) Subject: Merge "Drop mediawiki.dic, useless and poorly updated" X-Git-Tag: 1.34.0-rc.0~902 X-Git-Url: http://git.cyclocoop.org/%22%22._DIR_PLUGIN_FULLCALENDAR.%22prive/themes/spip/images/event_edit.png/%5B%27/%29%20AND%20%24p1%3C%24p%29%20%24p%20=%20%24p1;%20%24flux%20=%20substr_replace%28%24flux%2Cpipeline%28?a=commitdiff_plain;h=cceade3a0f57ffe488d26950cefca68f9e4daa02;p=lhc%2Fweb%2Fwiklou.git Merge "Drop mediawiki.dic, useless and poorly updated" --- cceade3a0f57ffe488d26950cefca68f9e4daa02